ia64: catch up with latest -unstable
xenmisc.o pdb-stub.o acpi.o hypercall.o \
machvec.o dom0_ops.o domain.o \
idle0_task.o pal.o hpsim.o efi.o efi_stub.o ivt.o mm_contig.o \
- sal.o cmdline.o mm_init.o tlb.o \
+ sal.o cmdline.o mm_init.o tlb.o smpboot.o \
extable.o linuxextable.o \
regionreg.o entry.o unaligned.o privop.o vcpu.o \
irq_ia64.o irq_lsapic.o hpsim_irq.o vhpt.o xenasm.o dom_fw.o
#define ARCH_HAS_EXEC_DOMAIN_MM_PTR
// see arch/x86/nmi.c !?!?
+
+// these declarations got moved at some point, find a better place for them
+extern int opt_noht;
+extern int ht_per_core;
extern unsigned int watchdog_on;
// xen/include/asm/config.h